/*
 * Singularity Engine
 * Copyright (C) 2010 Vyacheslav Vorobyov, All rights reserved.
 * See LICENSE for full license information.
 */
package org.singularity.lang.model;

/**
 * @author vjache
 *
 */
public class Clause {
	
	private final LHS _LHS;
	private final RHS _RHS;

	public Clause()  
	{
		_LHS = new LHS();
		_RHS = new RHS();
	}
	
	public Clause(LHS lHS, RHS rHS) 
	{
		_LHS = lHS;
		_RHS = rHS;
	}

	/**
	 * @return the lHS
	 */
	public LHS getLHS() {
		return _LHS;
	}

	/**
	 * @return the rHS
	 */
	public RHS getRHS() {
		return _RHS;
	}
	
	@Override
	public String toString() {
		final StringBuilder sb = new StringBuilder();
		sb.append("CLAUSE").append(StringUtil.NL);
		getLHS().toString(sb,StringUtil.TAB);
		sb.append(StringUtil.NL);
		getRHS().toString(sb,StringUtil.TAB);
		return sb.toString();
	}
}
